La logique avant les logiciens.

La logique chez khwaje nasir-e tusi

Perelman , Informal Logic and the Historicity of Reason University of Windsor

Résumé: Dans un article posthume Perelman discute de sa décision de joindre sa théorie d’argumentation à la rhétorique plutôt qu’à la logique non formelle. Ceci est dû partiellement à l’importance qu’il accorde à l’auditoire, et partiellement à l’attitude négative des logiciens non formels à l’égard de la rhétorique. Dans cet article j’explore ses deux raisons en examinant les bénéfices que son...

La dose tolérée et toxique de la saponine chez les chèvres et les moutons

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Complexité de la réduction en logique combinatoire